-
1 формальное определение
Mathematics: formal characterization, formal definitionУниверсальный русско-английский словарь > формальное определение
-
2 формальное определение
Russian-english psychology dictionary > формальное определение
-
3 формальное определение
formal definition мат.Русско-английский научно-технический словарь Масловского > формальное определение
-
4 формальное определение
Русско-английский синонимический словарь > формальное определение
-
5 формальное определение контекстно-свободной грамматики
Programming: formal definition of a context-free grammarУниверсальный русско-английский словарь > формальное определение контекстно-свободной грамматики
-
6 формальное определение относится только к внешним спецификациям
Programming: formal definition applies only to externalsУниверсальный русско-английский словарь > формальное определение относится только к внешним спецификациям
-
7 определение
ср.1) ( формулировка) definition2) ( установление) determination, ( опознание) identification; ( оценивание) evaluation, measurement, measuring•- количественное определение поведенческих реакций
- количественное определение
- номинальное определение
- объективное определение
- операциональное определение
- определение возможностей
- определение возраста
- определение границ поля зрения при помощи периметра
- определение исполнения
- определение качеств личности
- определение квалификации
- определение коллективных групповых установок
- определение личностных особенностей
- определение надежности
- определение остроты зрения
- определение пола
- определение понятий
- определение порога
- определение принадлежности индивида к конкретному типу
- определение принадлежности к конкретному типу
- определение проблемы
- определение работоспособности
- определение рефракции глаза и подбор очков
- определение ситуации
- определение склонности к конформизму
- определение склонности человека к конформизму
- определение слышимости голоса
- определение слышимости речи
- определение способности
- определение степени конформности
- определение характера человека по чертам лица
- определение ценности
- определение чувствительности
- произвольное определение
- рабочее определение
- реальное определение
- тавтологическое определение
- фенотипическое определение пола
- формальное определение
- функциональное определение -
8 security policy
стратегия секретности (формальное определение критериев, используемых при обеспечении защиты системы от каких-либо угроз)Англо-русский словарь промышленной и научной лексики > security policy
-
9 требование
- requirement
- en
требование
Положение нормативного документа, содержащее критерии, которые должны быть соблюдены.
[ГОСТ 1.1-2002]
требование
Потребность или ожидание, которое установлено, обычно предполагается или является обязательным.
Примечания
1. Слова "обычно предполагается" означают, что это общепринятая практика организации, ее потребителей и других заинтересованных сторон, когда предполагаются рассматриваемые потребности или ожидания.
2. Для обозначения конкретного вида требования могут применяться определяющие слова, например, такие как требование к продукции, требование к системе качества, требование потребителя.
3. Установленным является такое требование, которое определено, например в документе.
4. Требования могут выдвигаться различными заинтересованными сторонами.
требование
Документально изложенный критерий, который должен быть выполнен, если требуется соответствие документу, и по которому не разрешены отклонения.
[ ГОСТ Р ИСО 9000-2008]
требование
(ITIL Service Design)
Формальное заявление о необходимости чего-либо. Например, требование к уровню услуг, требование проекта или требуемые результаты процесса. См. тж. перечень требований.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]
требование
Документ, служащий основанием для отпуска материалов (комплектующих изделий и т.п.) в производство, а также для их списания на складе.
[ http://slovar-lopatnikov.ru/]
EN
requirement
(ITIL Service Design) A formal statement of what is needed – for example, a service level requirement, a project requirement or the required deliverables for a process. See also statement of requirements.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
Обобщающие термины
EN
FR
3.1.2 требование (requirement): Потребность или ожидание, которое установлено, обычно предполагается или является обязательным.
Примечания
1 Слова «обычно предполагается» означают, что это общепринятая практика организации (3.3.1),ее потребителей (3.3.5) и других заинтересованных сторон (3.3.7), когда предполагаются рассматриваемые потребности или ожидания.
2 Для обозначения конкретного вида требования могут применяться определяющие слова, например такие, как требование к продукции, требование к системе качества, требование потребителя.
3 Установленным является такое требование, которое определено, например, в документе (3.7.2).
4 Требования могут выдвигаться различными заинтересованными сторонами.
5 Приведенное определение отличается от установленного в 3.12.1 Директивы ИСО/МЭК, часть 2.
Источник: ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь оригинал документа
3.1.2 требование (en requirement; fr exigence): Потребность или ожидание, которое установлено, обычно предполагается или является обязательным.
Примечания
1 «Обычно предполагается» означает, что это общепринятая практика организации (3.3.1), ее потребителей (3.3.5) и других заинтересованных сторон (3.3.7), когда предполагаются рассматриваемые потребности или ожидания.
2 Для обозначения конкретного вида требования могут применяться определяющие слова, например требование к продукции, требование к менеджменту качества, требование потребителя.
3 Установленным является такое требование, которое определено, например в документе (3.7.2).
4 Требования могут выдвигаться различными заинтересованными сторонами.
(Измененная редакция. Изм. № 1).
Источник: ГОСТ Р ИСО 9000-2001: Системы менеджмента качества. Основные положения и словарь оригинал документа
2.40 требование (requirement): Потребность или ожидание, которые сформулированы, в целом подразумеваются или являются обязательными.
[ИСО 9000:2005]
Примечание - Выражение «в целом подразумеваются» означает, что это обычная практика для системы питьевого водоснабжения или удаления сточных вод, потребителей (2.50) услуги (2.44) и других заинтересованных лиц, что рассматриваемая потребность или ожидание подразумеваются.
Источник: ГОСТ Р ИСО 24511-2009: Деятельность, связанная с услугами питьевого водоснабжения и удаления сточных вод. Руководящие указания для менеджмента коммунальных предприятий и оценке услуг удаления сточных вод оригинал документа
2.40 требование (requirement): Потребность или ожидание, которые сформулированы, в целом подразумеваются или являются обязательными.
[ИСО 9000:2005]
Примечание - Выражение «в целом подразумеваются» означает, что это обычная практика для системы питьевого водоснабжения или удаления сточных вод, потребителей (2.50) услуги (2.44) и других заинтересованных лиц, что рассматриваемая потребность или ожидание подразумеваются.
Источник: ГОСТ Р ИСО 24512-2009: Деятельность, связанная с услугами питьевого водоснабжения и удаления сточных вод. Руководящие указания для менеджмента систем питьевого водоснабжения и оценке услуг питьевого водоснабжения оригинал документа
2.40 требование (requirement): Потребность или ожидание, которые сформулированы, в целом подразумеваются или являются обязательными.
[ИСО 9000:2005]
Примечание - Выражение «в целом подразумеваются» означает, что это обычная практика для системы питьевого водоснабжения или удаления сточных вод, потребителей (2.50) услуги (2.44) и других заинтересованных лиц, что рассматриваемая потребность или ожидание подразумеваются.
Источник: ГОСТ Р ИСО 24510-2009: Деятельность, связанная с услугами питьевого водоснабжения и удаления сточных вод. Руководящие указания по оценке и улучшению услуги, оказываемой потребителям оригинал документа
3.1.2 требование (requirement): Потребность или ожидание, которое установлено, обычно предполагается или является обязательным.
Примечания
1 Слова «обычно предполагается» означают, что это общепринятая практика организации (3.3.1),ее потребителей (3.3.5) и других заинтересованных сторон (3.3.7), когда предполагаются рассматриваемые потребности или ожидания.
2 Для обозначения конкретного вида требования могут применяться определяющие слова, например, такие как требование к продукции, требование к системе качества, требование потребителя.
3 Установленным является такое требование, которое определено, например в документе (3.7.2).
4 Требования могут выдвигаться различными заинтересованными сторонами.
5 Приведенное определение отличается от установленного в пункте 3.12.1 Директивы ИСО/МЭК, часть 2.
Источник: ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь
3.4 требование (requirement): Потребность или ожидание, которое установлено, обычно предполагается или является обязательным.
Примечание - Термин заимствован из подпункта 3.1.2 ИСО 9000:2005, пять первоначальных примечаний к которому были исключены.
Источник: ГОСТ Р 54732-2011: Менеджмент качества. Удовлетворенность потребителей. Руководящие указания по мониторингу и измерению оригинал документа
3.2.2 требование (requirement): Потребность или ожидание, которое установлено, обычно предполагается или является обязательным.
Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа
Русско-английский словарь нормативно-технической терминологии > требование
-
10 давать
(= дать, обеспечивать, см. также даваться) give, produce, yield, furnish, contribute, offer, afford, give rise to, result in, provide, lead to• В данный момент невозможно дать... - It is not possible at this time to give...• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В этом параграфе мы даем краткое введение в... - In this section we give a brief introduction to...• Все вероятности, сложенные вместе, в сумме должны дать единицу. - All the probabilities taken together must add up to 1.• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Давайте рассмотрим детально... - Let us look in detail at...• Дадим этому формальное доказательство. - The formal proof is as follows.• Данная классификация почти ничего не дает нам относительно... - This classification tells us very little about...• Значение наших методов состоит в том, что они дадут... - The significance of our methods is that they will yield...• Метод дал улучшение результатов (= улучшенные результаты). - The method gave improved results.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы можем дать альтернативное определение... - It is possible to give an alternative definition of...• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Особое рассмотрение должно быть дано (= Необходимо особо рассмотреть)... - Special consideration must be given to...• Перед тем как продолжить (обсуждение), мы прервемся, чтобы дать... - Before going further we pause to give...• Повторное применение соотношения (1) дает соотношение (2). - Repeated application of (1) gives (2).• Подстановка этих значений дает нам... - Substituting these values gives us...• Пусть дан... - Given...; Let there be given...• Пусть дано значение xq. - Suppose xq is given,• Следующая теорема дает (= описывает) условия, при которых... - The following theorem gives conditions under which...• Тем не менее, развитые нами методы дают основание для... - However, the methods we have developed provide a basis for...• Теперь мы дадим краткое заключение (о)... - We now give a brief account of...• Чтобы ответить на этот вопрос, давайте... - То answer this question, let us...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы установить соотношение (1), давайте... - То establish (1), let us...• Эта книга дает современное описание... - This book provides an up-to-date description of...• Это дает основание ожидать, что... - This causes us to anticipate that...• Это дает основание полагать, что... - This suggests that...• Это даст нам необходимую характеристику (чего-л). - This will give us the required characterization of...• Это уже дает некоторую информацию относительно... - This already gives some information about...• Этот метод дает хорошие результаты только если... - The method works well only if...• Этот результат дает более точное необходимое условие для... - This provides a sharper necessary condition for...• Этот случай дает прекрасный пример (чего-л). - This case provides an excellent example of... -
11 аудит
аудит
Систематический, независимый и документированный процесс получения свидетельств аудита и их объективной оценки с целью установления степени соответствия критериям аудита.
Внутренние аудиты, иногда называемые «аудитами первой стороны», как правило, проводятся самой организацией или от ее имени для внутренних целей и могут служить основой для самодекларации о соответствии. Во многих случаях, особенно для небольших организаций, независимость может быть продемонстрирована тем, что лица, осуществляющие аудит, не несут ответственности за деятельность, которая является предметом аудита.
Примечание 2. К внешним аудитам относятся так называемые «аудиты второй стороны» или «аудиты третьей стороны». «Аудиты второй стороны» проводятся сторонами, заинтересованными в деятельности организации, например потребителями или другими лицами от их имени. «Аудиты третьей стороны» проводятся внешними независимыми организациями, например, осуществляющими регистрацию или сертификацию на соответствие требованиям стандартов ИСО 9001 и ИСО 14001.
Примечание 3. Аудит, предметом которого одновременно являются система менеджмента качества и система экологического менеджмента, называется комбинированным аудитом.
Примечание 4. Аудит одной организации, проводимый совместно двумя или более организациями, называется совместным аудитом.
[ http://www.14000.ru/glossary/main.php?PHPSESSID=25e3708243746ef7c85d0a8408d768af]
аудит
Формальное обследование и проверка на предмет соблюдения какого-либо стандарта или рекомендаций, точности ведения записей или достижения целевых значений эффективности и результативности. Аудит может проводиться внутренними или внешними службами. См. тж. оценка соответствия; сертификация.
[Словарь терминов ITIL® версия 1.0, 29 июля 2011 г.]
аудит
Проверка финансовой деятельности фирмы (компании, предприятия) независимым ревизором — аудитором. Независимая экспертиза и анализ финансовой отчетности хозяйствующего субъекта с целью определения ее соответствия действующему законодательству; выделяют два вида А.: внешний и внутренний. Он может осуществляться по инициативе компании (самоконтроль) и «по закону», то есть внешними контрольными службами по решению властей. См. также: Концептуальные корректировки финансовой отчетности, Корректировки финансовой отчетности сравнимых компаний - аналогов, Корректировки предыдущих периодов, Финансовая (бухгалтерская) отчетность (по МCФО), Финансовая (бухгалтерская) отчетность (по РСБУ).
[ http://slovar-lopatnikov.ru/]EN
audit
Systematic, independent and documented process for obtaining audit evidence and evaluating it objectively to determine the extent to which audit criteria are fulfilled.
Note 1. Internal audits, sometimes called first-party audits, are conducted by, or on behalf of the organization itself for internal purposes and can form the basis for an organizations self-declaration of conformity. In many cases, particularly in smaller organizations, independence can be demonstrated by the freedom from responsibility for the activity being audited.
Note 2. External audits include those generally termed second- and third-party audits. Second-party audits are conducted by parties having an interest in the organization, such as customers, or by other persons on their behalf. Third party audits are conducted by external, independent auditing organizations, such as those providing registration or certification of conformity to the requirements of ISO 9001 and ISO 14001.
Note 3. When a quality management system and an environmental management system are audited together, this is termed a combined audit.
Note 4. When two or more auditing organizations co-operate to audit a single auditee, this is termed a joint audit.
[ISO 19011]
audit
Formal inspection and verification to check whether a standard or set of guidelines is being followed, that records are accurate, or that efficiency and effectiveness targets are being met. An audit may be carried out by internal or external groups. See also assessment; certification.
[Словарь терминов ITIL® версия 1.0, 29 июля 2011 г.]Тематики
EN
4.5 аудит (audit): Независимая оценка программных продуктов и процессов, проводимая уполномоченным лицом с целью оценить их соответствие требованиям.
Источник: ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа
3.4 аудит (audit): Проверка, выполняемая компетентным органом (лицом) с целью обеспечения независимой оценки степени соответствия программных продуктов или процессов установленным требованиям.
Источник: ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа
3.3 аудит (audit): официальное исследование, изучение или проверка фактических результатов в сопоставлении с ожидаемыми относительно предполагаемых результатов в целях соответствия и исполнения требований нормативных актов.
Источник: ГОСТ Р ИСО/МЭК 18028-1-2008: Информационная технология. Методы и средства обеспечения безопасности. Сетевая безопасность информационных технологий. Часть 1. Менеджмент сетевой безопасности оригинал документа
3.5 аудит (audit): Служба, задачей которой является проверка наличия адекватных мер контроля и сообщение руководству соответствующего уровня о несоответствиях.
Источник: ГОСТ Р ИСО/ТО 13569-2007: Финансовые услуги. Рекомендации по информационной безопасности
3.1 аудит (audit): Систематический, независимый и документируемый процесс получения свидетельств аудита (3.3) и объективного их оценивания с целью установления степени выполнения согласованных критериев аудита (3.2).
Примечания
1 Внутренние аудиты, иногда называемые «аудитами первой стороны», проводятся самой организацией или от ее имени для анализа со стороны руководства или других внутренних целей (например, для подтверждения намеченных показателей результативности системы менеджмента или для получения информации по улучшению системы менеджмента) и могут служить основанием для декларации о соответствии. Во многих случаях, особенно в малых организациях, независимость при аудите может быть продемонстрирована отсутствием ответственности за деятельность, которая подвергается аудиту, или беспристрастностью и отсутствием конфликта интересов.
2 Внешние аудиты включают в себя аудиты, называемые «аудитами второй стороны» и «аудитами третьей стороны». Аудиты второй стороны проводят стороны, заинтересованные в деятельности организации, например, потребители или другие лица от их имени. Аудиты третьей стороны проводят внешние независимые организации, такие как регулирующие или надзорные органы или организации, проводящие регистрацию или сертификацию.
3 Аудит двух или нескольких систем менеджмента для различных аспектов (например, качество, охрана окружающей среды, охрана труда), проводимый одновременно, называют «комплексным аудитом».
4 Если две или несколько проверяющих организаций объединяют свои усилия для проведения аудита одной проверяемой организации (3.7), такой аудит называют совместным.
5 Адаптировано из ИСО 9000:2005, статья 3.9.1.
Источник: ГОСТ Р ИСО 19011-2012: Руководящие указания по аудиту систем менеджмента оригинал документа
3.11 аудит (audit) (проверка): Систематический, независимый и документированный процесс получения свидетельств аудита и объективного их оценивания с целью установления степени выполнения согласованных критериев аудита.
Примечания
1 Внутренние аудиты, иногда называемые «аудиты (проверки) первой стороны», проводятся обычно самой организацией или от ее имени для внутренних целей могут служить основанием для декларации о соответствии.
2 Внешние аудиты включают аудиты, называемые «аудиты второй стороны» или «аудиты третьей стороны».
Аудиты второй стороны проводят стороны, заинтересованные в деятельности организации, например потребители или другие лица от их имени.
Аудиты третьей стороны проводят внешние независимые организации, осуществляют сертификацию или регистрацию на соответствие требованиям ГОСТ Р ИСО 9001 или ГОСТ Р ИСО 14001.
3 Аудит систем менеджмента качества и экологического менеджмента, проводимый одновременно, называют комплексным аудитом.
4 Если аудит проверяемой организации проводят одновременно две или несколько организаций, такой аудит называют совместным.
[ ГОСТ Р ИСО 19011-2003, пункт 3.1]
Источник: ГОСТ Р 54298-2010: Системы экологического менеджмента. Порядок сертификации систем экологического менеджмента на соответствие ГОСТ Р ИСО 14001-2007 оригинал документа
3.2 аудит (audit): Систематический, независимый и документируемый процесс получения «свидетельств аудита» и объективного их оценивания с целью установления степени выполнения «критериев аудита».
[ИСО 9000:2005, пункт 3.9.1]
Примечания
1 Понятие «независимый» не обязательно означает внешний для организации. Во многих случаях, особенно в малых организациях, независимость может быть продемонстрирована отсутствием ответственности за деятельность, которая подвергается аудиту.
2 Для дальнейшего разъяснения терминов «свидетельство аудита» и «критерии аудита» следует обратиться к ИСО 19011.
Источник: ГОСТ Р 54934-2012: Системы менеджмента безопасности труда и охраны здоровья. Требования оригинал документа
4.4 аудит (audit): Систематический, независимый и документированный процесс получения записей, фиксирования фактов или другой соответствующей информации и их объективного оценивания с целью установления степени выполнения заданных требований (3.1).
Примечание - В то время как термин «аудит» относится к системам менеджмента, термин «оценка» применяется к органам по оценке соответствия, а также используется в более общем смысле.
Источник: ГОСТ Р ИСО/МЭК 17000-2009: Оценка соответствия. Словарь и общие принципы оригинал документа
3.2.63 аудит (audit): Систематический, независимый и документированный процесс получения свидетельств аудита и объективного их оценивания с целью установления степени выполнения согласованных критериев аудита.
Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа
5.18 аудит (audit): Систематический, независимый и документально оформленный процесс (6.4), целью которого является получение свидетельств аудита (5.21) в результате проведения объективной оценки, предусматривающей определение степени выполнения критериев аудита (5.20).
Примечание 1 - Внутренние аудиты (5.18.1), называемые «аудитами первой стороны», проводятся самой организацией (3.4) или от ее лица для анализа со стороны руководства и других внутренних целей, и могут служить основой для самодекларирования соответствия. Во многих случаях, особенно в небольших организациях, независимость может быть продемонстрирована свободой от ответственности за деятельность, которая подвергается аудиту.
Примечание 2 - Внешние аудиты, как правило, включают в себя аудиты, проводимые второй и третьей сторонами. Аудиты, проводимые второй стороной, осуществляются сторонами, заинтересованными в деятельности организации, например потребителями или другими лицами от их имени. Аудиты, проводимые третьей стороной, проводятся внешними независимыми организациями по аудиту, например организациями, обеспечивающими регистрацию или сертификацию (3.10) на соответствие требованиям, установленным в ИСО 9001 или ИСО 14001.
Примечание 3 - Если аудиты систем менеджмента качества или системы экологического менеджмента (4.1) проводятся одновременно, то это называется комплексным аудитом.
Примечание 4 - Если две и более аудирующие организации объединяются для проведения аудита одного аудируемого субъекта (5.26), то это называется совместным аудитом.
[ИСО 19011:2002]
Источник: ГОСТ Р ИСО 14050-2009: Менеджмент окружающей среды. Словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > аудит
-
12 гарантия
гарантия
1. Поручительство за выполнение каким-либо лицом денежных или других обязательств; в случае невыполнения обязательств гарант несет ответственность.
2. Установленное законом обязательство продавца отвечать за материальные недостатки товара и за то, что товар свободен от долговых обязательств и не находится в собственности третьих лиц. При недобросовестных поставках товара покупатель имеет право выставить продавцу целый ряд требований: аннулирование договора купли/продажи (как правило, возможно при выявлении серьезных или неустранимых дефектов); понижение продажной цены, соответствующее количеству выявленных дефектов (применяется, главным образом, при обнаружении несущественных и устранимых дефектов); исправление дефектов (применяется при устранимых дефектах); поставка с целью замены некондиционного товара (при этом некондиционный товар возвращается); дополнение недостающего (применяется при недопоставке товара). Покупатель, после того как он на законных основаниях потребовал исправления дефектов, может задержать оплату всей покупной цены до их полного устранения. Необходимо отметить, что на покупателя возлагается коммерческая ответственность своевременного предъявления претензии. По истечении определенного срока (см. давность исковая) товар будет считаться принятым, а это влечет за собой отмену всех гарантийных прав. Например, срок предъявления гарантийных претензий по движимости в Австрии составляет 6 месяцев, в Швейцарии - 1 год с момента поставки товара. Гарантии исключаются полностью, если речь заходит об очевидных дефектах, уже имевших место во время подписания договора.
[ http://www.lexikon.ru/dict/buh/index.html]
гарантия
(ITIL Service Strategy)
Гарантия того, что продукт или услуга будут соответствовать согласованным требованиям. Это может быть как формальное соглашение (например, соглашение об уровне обслуживания или контракт) так и маркетинговое заявление или имидж бренда. Гарантия характеризует возможность услуги быть доступной тогда, когда она нужна, иметь необходимую мощность и надёжность (в части безопасности и непрерывности). Гарантия – это то «как услуга предоставляется», она может использоваться для определения соответствия условиям использования услуги. Ценность ИТ-услуги для бизнеса создаётся при помощи комбинации полезности и гарантии. См. тж. подтверждение и тестирование услуг.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
warranty
(ITIL Service Strategy)
Assurance that a product or service will meet agreed requirements. This may be a formal agreement such as a service level agreement or contract, or it may be a marketing message or brand image. Warranty refers to the ability of a service to be available when needed, to provide the required capacity, and to provide the required reliability in terms of continuity and security. Warranty can be summarized as ‘how the service is delivered’, and can be used to determine whether a service is ‘fit for use’. The business value of an IT service is created by the combination of utility and warranty. See also service validation and testing.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
EN
2.21 гарантия (guarantee): См. определение «гарантийное обязательство» в 2.36.
Источник: ГОСТ Р 54581-2011: Информационная технология. Методы и средства обеспечения безопасности. Основы доверия к безопасности ИТ. Часть 1. Обзор и основы оригинал документа
Русско-английский словарь нормативно-технической терминологии > гарантия
-
13 формальная модель политики безопасности
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > формальная модель политики безопасности
См. также в других словарях:
Определение — (общеславянск. «пределити» положить предел, провести границу) – 1. установление границ, пределов; 2. приход к решению, выводу; 3. а) раскрывающая содержание (смысл) имени посредством описания существенных и отличительных признаков или явлений,… … Энциклопедический словарь по психологии и педагогике
Формальное исчисление — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
ПСИХОЛОГ — Определение того, к кому относится этот термин, не является простой задачей. Трудности возникают из того, что так называют и тех, кто фактикуют в области психологии, и тех, кто ее применяют, и тех, кто ей обучается, и тех, кто ее исследуют.… … Толковый словарь по психологии
Росток (комплексный анализ) — Формальное определение Рассмотрим функции, заданные в точке O и какой нибудь её окрестности (не предполагается, что эта окрестность фиксирована для этих функций для разных функций она может быть разная и общего пересечения у них может не быть,… … Википедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
Преступление — У этого термина существуют и другие значения, см. Преступление (значения). Преступление (уголовное преступление) правонарушение (общественно опасное деяние), совершение которого влечёт применение к лицу мер уголовной ответственности.… … Википедия
Декриминализация — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… … Википедия
Категоризация преступлений — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… … Википедия
Категории преступлений — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… … Википедия
Классификация преступлений — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… … Википедия
Криминал — Преступление (уголовное преступление) это правонарушение, совершение которого влечёт применение к лицу мер уголовной ответственности. Преступления могут выделяться из общей массы правонарушений по формальному признаку (установление за них… … Википедия